90c2b14dc68ff90aca88478927bb7e61cb227da1,core/kernel/source/jetbrains/mps/extapi/persistence/ModelRootBase.java,ModelRootBase,unregister,#SModel#,120

Before Change


    SModuleBase module = (SModuleBase) getModule();
    assert module != null;

    if (module.getModel(model.getModelId()) != null) {
      module.unregisterModel((SModelBase) model);
      myModels.remove(model);
    } else {
      LOG.error("Model `" + model.getModelName() + "' is not registered in module `" + module.getModuleName() + "'.", new Throwable());

After Change


    assert module.getModel(model.getModelId()) != null;
    assert myModels.contains(model);

    module.unregisterModel((SModelBase) model);
    myModels.remove(model);
  }